Weakening Non-interference on Databases
نویسندگان
چکیده
ing Non-Interference
منابع مشابه
Analyzing Non-Interference with respect to Classes
Non-Interference (ANI)8 provided a well-founded and parametric framework where the standard notion of Non-Interference (NI)10,16 can be relaxed. Such a weakening is useful since many programs do not satisfy NI because it requires the separation between public (information every user can observe) and private (to protect from unauthorized users) data to be complete; i.e., the public output must n...
متن کاملGeneralized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata
Secure Information-flow Analysis for Automata Roberto Giacobazzi and Isabella Mastroeni Dipartimento di Informatica Università di Verona, Italy (roberto.giacobazzi@ | mastroeni@sci.)univr.it Abstract. Abstract non-interference has been introduced as a weakening non-interference which models attackers as abstract interpretations (i.e., static analyzers) of programming language semantics. In this...
متن کاملApplication of Non-Linear Functions at Distribution of Output SINR Gaussian Interference Channels
We have examined the convergence behavior of the LSCMA in some simple environments. Algorithms such as Multi¬ Target CMA, Multistage CMA, and Iterative Least Squares with Projection can be used for this purpose. The results presented here can form a basis for analysis of these multi-signal extraction techniques. Clearly, the variance and distribution of output SINR obtained with the LSCMA is al...
متن کاملDisc antibiogram test with graded plate method
Abstract Background and objectives: Halo interference around antibiogram disc is one of the problems seen in Agar media. This study aimed at applying graded plate method to reduce this problem. Material and Methods: Forty-eight millimeter plates, before putting disc, were graded and the location of discs was determined. Instead of full disc, we used half-disc and then compared the haloe interfe...
متن کامل